Supplementary Information: Population dynamics of engineered underdominance and killer-rescue gene drives in the control of dengue vectors

Within the main text we outline the key details of the mathematical models used throughout this work. Here we present some extra details necessary to reproduce the results of this study. We begin with the vi(t − τ) and wi(t − τ) expressions that are omitted from the main text for brevity. These expressions represent the outcomes from each possible genotype mating pair and are grouped according to the genotypes of their resulting progeny. For example, the expression used to represent all genotype mating pairs resulting in wild-type progeny is of the form